3 results
EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 July 2022, pp. 1138-1169
- Print publication:
- September 2023
-
- Article
- Export citation
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 09 June 2022, pp. 451-465
- Print publication:
- September 2022
-
- Article
- Export citation
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 196
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation